minimization dfa

join shbcf.ru